proof theory中文是什么意思

发音:

中文翻译
造句

证蜜
证明论

proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面 ...
theory n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
-proof 后缀表示“耐，防(等)”：acid-proof 耐酸的。Air-proof 密封的。 Dust-proof 防尘的。 Fire-proof 防火的。 Radar-proof 反雷达的。 Slander-proof 听了坏话不会生气的。 Sound-proof 隔音的。 Water-proof 防水的。
a proof 防原子的
a-proof 防原子的
in proof of 作...的证据
proof n. 1.证明；证据；【法律】证件；【法律】(口头或书面)证词，证言。 2.检验，考验；验算；检定的品质[强度等]。 3.试管。 4.【印刷】校样，印样。 5.(酒精的)标准强度。 6.(甲胄等的)耐力，坚牢强度，不贯穿性。 7.【摄影】样片；样张。 8.[Scot.] 审问。 9.【数学】证，证明，证法。 The proof of the pudding is in the eating. 布丁好坏一吃即知；空谈不如实验。 Here is proof positive. 有确实证据。 a foul proof 错字很多的校样。 a foundry proof (压型前的)清样。 an artist's [engraver's] proof 版面印样。 stand a severe proof 经受严格的考验。 afford proof of 提供证据。 armour of proof 戳不通的坚牢的铠甲。 below proof 不合格。 bring [put] to the proof 试，试验。 have proof of shot 能防弹，能避弹。 in proof of 作…的证据。 proof positive of his intention 他的企图的确证。 read the proof 校对。 adj. 1.试验过的，有保证的；(酒)合标准的，规定的。 2.校样的。 3.(子弹等)不入的，耐…的，防…的。 a proof coin 标准货币，制钱。 a proof sample 样品。 proof against the severest weather 经得起任何酷烈天气的。 proof against the pricks of all temptations 不为任何诱惑所动的。 vt. 使经得住，使(布等)耐久[不漏水(等)]。 proofed cloth 防水布。 adj. -less 无证据的。
proof of will 遗嘱证明, 遗嘱认证
and theory 经验与理论，119
in theory 从理论上说; 理论上，理论上讲
s theory 弗洛伦斯学说; 戈尔茨学说; 赫伯理论; 嘉农氏理论
the theory of the 事业理论
theory n. 1.理论，学理，原理。 2.学说，论说 (opp. hypothesis)。 3.推测，揣度。 4.〔口语〕见解，意见。 the theory of two points 两点论。 Darwin's theory of evolution 达尔文的进化论。 theory of equations 【数学】方程论。 theory of everything 【物理学】(把相对论、量子论和宇宙大爆炸理论都包括在内的)万用理论。 theory of relativity 【物理学】相对论。 the atomic theory 原子说。 Our scheme is good both in theory and in practice. 我们的方案在理论上和实施上都是好的。 combine [separate] theory with [from] practice 理论结合[脱离]实际。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意见是我们学院应该通过重用年轻一些的人来注入新的血液。 theory of games 博弈论，对策论，权衡利弊得失的形势分析。
theory of 经验的理论，6
will theory 意思说
flame proof = flame-proof 防火的
proof sheet; proof 红样
a documentory proof 用文件来证实日期
abrasion proof 耐磨的
abrasion-proof 防磨的; 耐磨的
absolute proof 绝对证明
abundant proof 充分的证据
accident proof 安全的
acid proof 耐防酸的; 耐酸,抗酸; 耐酸的; 酎酸的
acid-proof adj. 耐酸的。

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory
将证明论方法引入到xml中，建立了基于xml的证明论。
Applying the methods of gray system synthesize evaluation and proof theories , got the outburst dangerous grade samples
在此基础上，提出了危险信度的概念，用以衡量突出矿井危险程度，编制了神经网络，并对其进行训练。
The author anticipate future of constitutionlism building in china and proof theory of constitution chang , recruitment and explanation . at the same time
预测了我国宪政建设的趋势，论述了现行宪法应修改、补充的内容及解释原理。
A clause is formalized as a relational algebra expression and evaluated by employment of relational algebra operations . 3 . the proof theory based on xml is presented
提出了利用关系代数运算实现xml查询子句求值的方法，并证明了该方法的正确性。
Based on the characteristics of measurement safety inspection system for railway freight transportation under the condition of electrification and informationization , the essay the nessity to apply lightning proof by modern proof theory , and introduces the integrated lighting proof technology
摘要针对电气化、信息化条件下铁路货运计量安全检测系统的特点，利用现代防雷理论分析对其进行雷电防护的必要性，并对其综合防雷技术进行了相应介绍。
The ids works by two way , misuse detection and anomaly detection , misuse detection flags an intrusion on intrusion signature , this kind of detecting technic can be realized much more easily , and much more accurate , but it can not find some intrusiones that have been disguised or new kinds of intrusion . the anomaly detection can detect in more wide field , anomaly detection can compare new statistic data with average record , then anomaly record will be found , but it ' s more difficult to set a threshold , if the threshold is too big , some intrusion may be put through , if the threshold is too small , the ids will give more false positive alarm , and the threshold will be different with different people or different period , so the ids just simply show us their suspicious record , the administrator or expert will be in duty to analyze this record and give conclusion , the ids give more alarm than it should , leave us more detection record to analyze , and this is a hard work , we can not distinguish an intrusion or not if we analyze only one record , but we can judge if we find the relation among mass detection evidence . in this article , we try distinguish an intrusion using d - s theory ( proof theory ) instead using manual work , the ids will be more helpful and efficient
滥用检测采用的是特征检测的方法，实现较为简单，判断的准确性较高，但是不能判断一些经过伪装的入侵或特征库中尚未包含的入侵，异常检测能够根据以往记录的特征平均值，判断出异常情况，但是对于异常到什么程度才视为入侵，这个阀值非常难以确定，阀值设定的太高，有可能漏过真正的入侵，如果设定的阀值太低，又会产生较高的误警率，而且这个阀值因人而异，因时而异，因此现在的入侵检测系统把这部分异常记录以一定的形式显示出来或通知管理人员，交给管理人员去判断，而这些ids系统难以判断的记录，如果对每个证据单独地进行观察，可能是难以判断是否是入侵，而把许多先后证据关联起来，专家或管理人员根据经验能够判断访问的合法性，本文试图引入人工智能中证据理论的推理策略和示例学习方法，代替人工检查分析，可以提高效率，降低误警率，并可以对一个正在进行得可疑访问实现实时检测，通过搜索及时判断，及时阻断非法访问，比事后得人工处理更有意义。

百科解释

Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of the logical system.

详细百科解释